Method for symbolic correction in human-machine interfaces

ABSTRACT

Disclosed embodiments include methods and systems for symbolic correction in human-machine interfaces that comprise (a) implementing a language model; (b) implementing a hypothesis model; (c) implementing an error model; and (d) processing a symbolic input message based on weighted finite-state transducers to encode 1) a set of input hypothesis using the hypothesis model, 2) the language model, and 3) the error model to perform correction on the sequential pre-segmented symbolic input message in the human-machine interface. According to a particular embodiment, the processing step comprises a combination of the language model, the hypothesis model, and the error model performed without parsing by employing a composition operation between the transducers and a lowest cost path search, exact or approximate, on the composed transducer.

CROSS-REFERENCE TO RELATED APPLICATIONS

This application claims the benefit of U.S. Provisional Application No. 61/497,521 filed on 2011 Jun. 16 by the present inventors, which is incorporated herein by reference.

TECHNICAL FIELD

Disclosed embodiments relate to methods and systems for symbolic correction. Specifically, they relate to methods and systems for correction in symbolic human-machine interfaces.

BACKGROUND

Human-machine interfaces are subject to variable amounts of error and uncertainty. The application of a post-processing or correction algorithm is therefore critical. The excellent performance shown by humans when we interpret a spoken, gestured, typed, handwritten or otherwise transmitted message is mostly due to our error-recovery ability, due to the lexical, syntactic, semantic, pragmatic, and discursive language constraints humans apply.

Among the different levels at which language can be modeled, the lowest one is the word level, involving lexical constraints on the sequence of characters inside each word. The next one is the sentence level, which takes into account syntactic and semantic constraints on the sequence of words or word categories inside a sentence (or a field, for instance, in a form-processing application). Word and sentence level models typically apply dictionary search methods, n-grams, Edit Distance-based techniques, Hidden Markov Models, and other character or word category transition models. The higher levels consider a wider context and require specific a priori knowledge of the application domain.

The goal of a symbol-input post-processing method is to optimize the likelihood that the strings received as input hypotheses are correct, in the sense that they are compatible with the constraints imposed by the task (language). These constraints conform the language model and can be as simple as a small set of valid words (e.g. the possible values of the “country” field in a form) or as complex as an unconstrained sentence in a natural language.

In practice, the simplest method to handle correction is to use a lexicon to validate the known words and ask an operator to verify or input by hand the unknown words. Specific techniques can be used to carry out approximate search in the lexicon.

Other methods are based on n-grams or on finite-state machines, where a candidate string is parsed and the set of transitions with the lowest cost (highest probability) defines the output string. The classical algorithm, widely used in different fields, to find the maximum likelihood path on a finite-state machine and to perform error-correcting parsing on a regular grammar is the Viterbi Algorithm.

SUMMARY

Disclosed embodiments include a method for symbolic correction in human-machine interfaces that comprises: (a) implementing a language model; (b) implementing a hypothesis model; (c) implementing an error model; and (d) processing a symbolic input message based on weighted finite-state transducers to encode 1) a set of input hypothesis using the hypothesis model, 2) the language model, and 3) the error model to perform correction on the sequential pre-segmented symbolic input message in the human-machine interface. According to a particular embodiment, the processing step comprises a combination of the language model, the hypothesis model, and the error model performed without parsing by employing a composition operation between the transducers and a lowest cost path search, exact or approximate, on the composed transducer.

BRIEF DESCRIPTION OF THE DRAWINGS

Disclosed embodiments are illustrated by way of example, and not by way of limitation, in the figures of the accompanying drawings.

FIG. 1 shows a block diagram of the method or system according to one embodiment.

FIG. 2 shows an illustrative example of a probabilistic error transducer in the language model.

FIG. 3 shows an illustrative example of a weighted finite-state transducer in the hypothesis model.

FIG. 4 shows an illustrative example of a weighted finite-state transducer in the error model.

FIG. 5 shows an illustrative example of the composition of the transducers.

FIG. 6 shows the recognition and error rates of the proposed method according to one embodiment.

FIG. 7 shows the average correction time (ms.) obtained in the assessment study.

FIG. 8 shows the average computational cost obtained in the assessment study.

DETAILED DESCRIPTION

A. Overall Method & System Description

According to one embodiment, as shown in FIG. 1 the method for symbolic correction in human-machine interfaces 100 comprises: (a) implementing a language model 102; (b) implementing a hypothesis model 104; (c) implementing an error model 106; and (d) processing a sequential pre-segmented symbolic input message 10 based on weighted finite-state transducers to encode 1) a set of input hypothesis using the hypothesis model 104, 2) the language model 102, and 3) the error model 106 to perform correction on the sequential pre-segmented symbolic input message in the human-machine interface. According to a particular embodiment, the processing step comprises a combination of the language model, the hypothesis model, and the error model performed without parsing by employing a composition operation 108 between the transducers and a lowest cost path search, exact or approximate, on the composed transducer in order to generate the corrected or post-processed output 14.

The method for symbolic correction 100 can be implemented as part of any system that takes a human symbolic message 10 (e.g., a physical action) captured by an input device and action recognition system 12 that generates an input hypothesis for the hypothesis model 104. The particular application domain determines the particular human tasks and the corresponding symbolic language. These in turn, these are used to define a grammar or inference for the language model 102, as well as a plurality of error operations and weights definition for the error model 106. Consequently, while the hypothesis model 104 takes as the input the output hypothesis from the input/action recognition system 12, both the language model and the error model are designed and defined for a particular application and are independent of the real-time input (i.e. human symbolic messages 10). The symbolic system comprises a processor configured to perform processing tasks required by the symbolic correction method 100, one or more memories, and an input-output hardware interface.

Certain specific details are set forth in the following description and figures to provide a thorough understanding of various embodiments disclosed. Certain well-known details often associated with computing hardware, processing, and software technology are not set forth in the following disclosure to avoid unnecessarily obscuring the various disclosed embodiments. Further, those of ordinary skill in the relevant art will understand that they can practice other embodiments without one or more of the details described below. Aspects of the disclosed embodiments may be implemented in the general context of computer-executable instructions, such as program modules, being executed by a computer, computer server, or device containing a processor and memory. Generally, program modules include routines, programs, objects, components, and data structures that perform particular tasks or implement particular abstract data types. Aspects of the disclosed embodiments may also be practiced in distributed computing environments where tasks are performed by remote processing devices that are linked through a communications network. In a distributed computing environment, program modules may be located in both local and remote storage media including memory storage devices. Alternatively, according to an embodiment the methods disclosed can be implemented in hardware using an integrated microcontroller or FPGA device to create corresponding apparatuses or systems. Those skilled in the art will appreciate that, given the description of the modules comprising the disclosed embodiments provided in this specification, it is a routine matter to provide working systems which will work on a variety of known and commonly available technologies capable of incorporating the features described herein.

A.1. Language Model (LM)

According to one embodiment, and without limitation, the symbolic correction method or system 100 makes use of a grammatical inference algorithm to build a stochastic finite-state machine that accepts the smallest k-Testable Language in the Strict Sense (k-TS language) consistent with a task-representative language sample as part of the language model (also known as a constraints model) 102. The set of strings accepted by such an automaton is equivalent to the language model obtained using n-grams, for n=k.

An advantage of the chosen setting resides in its flexibility. The language sample can be a simple lexicon (with each word or sentence appearing only once), a list of strings extracted from a real instance of the task (with each one appearing as many times as in the sample), a list of sentences with characters, words or word categories as the symbols of the grammar, etc. Only in the first case, when using a classical lexicon, the automaton is not required to be stochastic, since a lexicon is not a representative language sample. In the other cases, the model takes advantage of the probabilistic information present in the data.

In one embodiment, the value of k is used to define the behavior of the model. In a lexical model, if k is made equal to the length of the longest word in the sample, a post-processing method is obtained where only words that exist in the sample are valid, but if k is set to a lower value, a classical n-gram model will result, where the corrected words may not be in the reference sample.

FIG. 2 shows the probabilistic identity transducer associated with the sample S={aba, abb, ba, bac} and k=3. In this description, for convenience, transducer input and output symbols are equal in each transition, i.e., the identity transducer, which can be seen as an acceptor of the language L(S).

A.2. Hypothesis Model (HM)

If the segmentation of the input is assumed known, as happens in many practical tasks like printed OCR or pre-segmented forms off-line handwriten OCR (ICR), isolated on-line character or gesture recognition, physical keyboard, reduced keyboard such as a mobile phone one, or soft touch key input, etc., the symbol-input subsystem generates, in the most general case, a sequence of n-dimensional vectors ν ₁ . . . ν _(m), where n is the number of possible hypotheses for each symbol, m the length of the string and ν_(i,j) the a posteriori probability of the j^(th) hypotheses of the i^(th). According to one embodiment of the hypothesis model 104, the correction method and system 100 represents this sequence using a WFSA (or an identity WFST) with m+1 states and n transitions between each pair of states.

FIG. 3 shows an example of a WFST with alphabet [a, b, c] that represents the symbol -input [0.8, 0.2, 0.0], [0.1, 0.7, 0.2], [0.0, 0.6, 0.4]. This means that the first symbol is a with probability 0.8 or b with probability 0.2, the second symbol is a, b or c with probabilities 0.1, 0.7 and 0.2 respectively, and so on. Transitions with zero-probability are not shown in the graph. Instead of working exclusively with the most probable output (abb in the example) this transducer models the uncertainty of the input subsystem.

A.3. Error Model (EM)

In some cases, none of the symbol sequences present in the input hypothesis is compatible with the language model, or it could be the case that a string similar but not included in the set of hypotheses is more probable than any of the supplied options. In a classical n-gram model, this effect is accounted for by a smoothing procedure. According to one embodiment of the symbolic correction method or system 100, the possible variations allowed and their probabilities are represented by an error model 106.

A detailed Error Model 106 allows for a finer control of the smoothing effect. Typically, the three usual edit operations will be defined: substitutions (including the substitution of a symbol by itself), insertions and deletions. Given two symbols s₁, s₂ and the empty symbol ε, substitutions, insertions and deletions are transductions of type s₁/s₂, ε/s₂ and s₁/ε respectively.

Each of these operations can be assigned a probability. The probability of substitutions is derived from the confusion matrix of the input process. This matrix is a table containing the confusion probability of each pair of symbols, estimated using a representative corpus. If the input is an OCR recognizer, the probabilities of the classifier confusing two characters is modeled. If the input process is a keyboard, the probabilities of the user pressing an adjacent key instead of the right one is represented. In a keyboard where several characters share the same key (like in a mobile phone), that fact is also represented in the error model 106.

According to one embodiment, the error model 106 is a “static” model of the uncertainty of the input subsystem, complementing the “dynamic” estimation provided by the set of input hypotheses. The likelihoods of insertions and deletions are task-dependent and can be empirically estimated. FIG. 4 shows an example of a WFST representing an Error Model with symbols in {a,b}.

According to one embodiment, the error model 106 allows insertions or deletions only at the beginning or at the end of the string, to restrict the number of error operations, to represent other sources of error like transposition of two adjacent symbols, which is useful in keyboard typewriting tasks, different confusion matrices, including e.g. the distances among the keys, etc.

A.4. Combination of LM, HM, and EM

According to one embodiment, the correction method and system 100 does not perform explicit parsing. Instead, the combination or fusion of the different models is performed through the composition operation 108 between transducers as follows. Let L₁ be the set of strings that a given HM can produce, and L₂ the set of strings accepted by a given LM. The goal is to find the most likely transduction of a string in L₁ into a string in L₂ by means of the intermediate transduction defined in an EM. This process is equivalent to finding the most probable path in the transducer HM⊙EM⊙LM. The transducer T₁=HM⊙EM transduces any string from L₁ by applying the operations of the Error Model EM.

FIG. 5 provides an illustrative example showing the composition of the transducers HM and EM previously presented. This automaton transduces the strings accepted by HM to any string in Σ*. Consequently, the transducer T₂=T₁⊙LM accepts only strings belonging to L₂, and the result of the transduction with the most probable path is the final corrected string. If several alternatives are needed, the n-best paths can also easily be obtained.

A.5. Cost Definition and Parameter Optimization

The computation of the best path is required as part of the process. A path is a sequence of transitions in the composed transducer and each transition t has an associated probability, which is computed as the product of the probabilities of the corresponding transitions in HM, LM and EM. According to one embodiment, the probability of transition is defined as follows (assuming independence and an equal influence from all models), P(t)=P(LM,EM,HM|t)=P(LM|t)P(EM|t)P(HM|t)

In this embodiment, the probability of the output string is computed as the product of the probabilities of the transitions along the most probable path in the composed transducer. Given xεL₁ and yεL₂, the probability of the transduction x, y is P(x,y)=Π_(i=1) ^(n)P(t_(i)), where t₁ . . . t_(n) is the sequence of transitions that transduces x into y.

To avoid underflow problems, instead of working with probabilities an embodiment uses tropical semiring WFSTs (

, ⊕,

, 0, 1) where

are negative log probabilities, ⊕ is the min operation,

is +, 0 is +∞ and 1 is 0. Therefore, the most probable path is found using a lowest cost path search.

Since the optimum influence of each model is generally not known, two parameters λ_(e) and λ_(h) are defined to obtain a log-linear parametric combination of the models with different weights: P(t)=P(LM|t)P(EM|t)^(λ) ^(e) P(HM|t)^(λ) ^(h)

According to a particular embodiment, and without limitation, a fixed weight 1 for the LM is used. Therefore its influence is controlled by the absolute values of the other parameters. The values of λ_(e) and λ_(h), along with the cost of insertions and deletions are empirically estimated using a supervised training set.

In a typical form-processing task in the data entry industry, it is important to obtain a consistent confidence value (the probability associated to the shortest path in the combined transducer) allowing the user to define a threshold and a reliable reject strategy. Consequently, according to one embodiment, the aforementioned parameters are optimized using a criterion function that maximizes the recognition rate, defined as the percentage (with respect to the total test set) of strings that were accepted and successfully corrected, for a given error rate (percentage, also in the total test set, of the strings that were accepted and generated wrong corrections. With this strategy, only rejected strings have to be reviewed by human operators, meaning that—for a commercially acceptable error rate—the economic savings yielded by the system are roughly equivalent to the number of accepted strings.

A.6. Pruning

WFST composition of very large transducers can incur in large computational costs. For a LM of 64000 states and 140000 transitions (like the one used in our experiments), a standard EM with all possible insertions, deletions and substitutions and an average-sized HM with 8 states and 5 transitions (hypotheses) per state, the resulting composed transducer can have up to 450000 states and more than two million transitions.

To avoid this problem, lazy composition together with a pruning scheme have been used in a particular embodiment. Lazy operations delay the computation of the result until it is required by another operation. This is useful when a large intermediate transducer must be constructed but only a small part of it needs to be visited. In this embodiment, the composition is delayed until the search of the shortest path (the lowest cost path) in the resulting transducer is performed. In principle, it is necessary to completely compose the transducers to compute the shortest path, but we have used a simple pruning search optimization to provide an approximate solution that allows not to explore (and therefore compose) the whole transducer.

To deal with the shortest path search, a best-first algorithm which explores the automaton by expanding the lowest cost path at each state is used in a particular embodiment. A vector with the minimum cost found at each stage (path length) is maintained. During the search, a pruning is performed based on a parameter δ. If the cost of a partial solution of length n exceeds δ times the cost of the best path of length n found so far (ν[n]), then the path of the partial solution is pruned. This heuristic leads to an approximate search, since the lowest cost path could be pruned. This can happen when δ is too low or when the best path contains high-cost transitions in its first stages. To avoid pruning a partial solution that could lead to the best path too early, a parameter ρ is used, so that the pruning scheme is not applied to partial solutions shorter than ρ states.

While particular embodiments have been described, it is understood that, after learning the teachings contained in this disclosure, modifications and generalizations will be apparent to those skilled in the art without departing from the spirit of the disclosed embodiments. It is noted that the foregoing examples have been provided merely for the purpose of explanation and are in no way to be construed as limiting. While the method, apparatus, and system has been described with reference to various embodiments, it is understood that the words which have been used herein are words of description and illustration, rather than words of limitations. Further, although the system has been described herein with reference to particular means, materials and embodiments, the actual embodiments are not intended to be limited to the particulars disclosed herein; rather, the system extends to all functionally equivalent structures, methods and uses, such as are within the scope of the appended claims. Those skilled in the art, having the benefit of the teachings of this specification, may effect numerous modifications thereto and changes may be made without departing from the scope and spirit of the disclosed embodiments in its aspects.

B. Experiments and Testing

This section details the experimental methodology and the corresponding assessment results of a particular embodiment of the symbolic correction method or system 100 to illustrate its performance and utility.

The following experiments compare the system working with and without multiple hypotheses and a posteriori probabilities in HM, on an OCR task. A sample of 14000 handwritten surnames from forms scanned in a real industrial task, with a reference language model of 4.5 million Spanish surnames (99157 of which were unique) was used. A k equal to the largest surname was used in the LM, so only known surnames were accepted as corrected output. The OpenFST library was used for the experiments.

The corpus was divided into a training (15%) and a test (85%) set. The training set was used to estimate the parameters of the Error Model (insertion and deletion probabilities) and of the WFSTs composition (λ_(h) and λ_(e)). Since the influence of each individual model can vary depending on the selected approach—using multiple hypotheses and a posteriori probabilities (WFST-PP) or using only the most probable input (WFST)—independent optimizations were performed for each approach.

Table 1 shows the best parameters found for WFST and WFST-PP. It can be noted that the optimal working point in the WFST approach is achieved when all the models have similar weights (note that LM has a fixed weight of 1), whereas the WFST-PP approach achieves better performance when the HM has a higher weight than the other two models.

Also the insertion and deletion probabilities are lower in the WFST-PP approach, since more strings can be corrected with a lower cost by choosing one of the symbols proposed by the HM rather than by deletion and insertion operations.

TABLE 1 Optimal parameters found with and without a posteriori probabilities. λ_(e) λ_(h) p_(i) p_(d) WFST-PP 1.17 2.38 0.005 0.004 WFST 1.05 1.04 0.007 0.008

FIG. 6 shows the recognition and error rates of the proposed method according to one embodiment using a) multiple hypotheses and a posteriori probabilities in HM (WFST-PP), b) the same approach using only the input strings (WFST), and c) the original, uncorrected input. The computational cost is another important issue in this task, where the size of the models can be very large in practice, and the typical operations involve large batchs of documents to recognize. A set of experiments were carried out to test the influence of the pruning method. FIG. 7 shows the average correction time (ms.) obtained in an Intel Xeon 2.5 GHz with 2 GB of memory, Linux OS and gcc 4.4, and the accuracy (percentage of well corrected words) achieved for different values of δ and ρ. These results were obtained for a language model built from 99157 unique words. For larger language models, the computational cost grows sub-linearly. FIG. 8 plots the average computational cost for δ=1.5 and ρ=3, against the length of the input hypothesis. 

The invention claimed is:
 1. A method for symbolic correction in human-machine interfaces said method comprising: (a) implementing a language model; (b) implementing a hypothesis model; (c) implementing an error model; and (d) processing a symbolic input message using a hardware processor, said processing based on weighted finite-state transducers to encode 1) a set of input hypothesis using said hypothesis model, 2) said language model, and 3) said error model in order to perform correction on said symbolic input message in the human-machine interface employing a probability of transition of the form P(t)=P(LM, EM, HM|t)=P(LM|t)P(EM|t)P(HM|t) with tropical semiring WFSTs (

, ⊕,

, 0 , 1 ).
 2. The method of claim 1, wherein said processing comprises a combination of said language model, said hypothesis model, and said error model performed without parsing by employing a composition operation between said transducers to generate a composed transducer, as well as a lowest cost path search on said composed transducer.
 3. The method of claim 2, wherein said language model uses a grammatical inference algorithm.
 4. The method of claim 3, wherein said grammatical inference algorithm is designed to accept a smallest k-Testable Language in the Strict Sense (k-TS language).
 5. The method of claim 4, wherein said hypothesis model is based on a weighted finite-state transducer that dynamically models the uncertainty of a symbol-input subsystem.
 6. The method of claim 5, wherein said error model complements said hypothesis model incorporating a static model of the uncertainty of said symbol-input subsystem.
 7. The method of claim 6, wherein said error model complements said hypothesis model by incorporating a static model of the uncertainty of said symbol-input subsystem including a plurality of edit operations.
 8. The method of claim 7, wherein said plurality of edit operations include substitutions, insertions, and deletions.
 9. A symbolic correction apparatus for human-machine interfaces comprising: (a) a memory to store a language model, a hypothesis model, and an error model, and (b) a processor configured for processing a symbolic input message, said processing based on weighted finite-state transducers to encode 1) a set of input hypothesis using said hypothesis model, 2) said language model, and 3) said error model in order to perform correction on said symbolic input message in the human-machine interface employing a probability of transition of the form P(t)=P(LM, EM, HM|t)=P(LM|t)P(EM|t)P(HM|t) with tropical semiring WFSTs (

, ⊕,

, 0 , 1 ).
 10. The symbolic correction apparatus of claim 9, wherein said processing comprises a combination of said language model, said hypothesis model, and said error model performed without parsing by employing a composition operation between said transducers to generate a composed transducer, as well as a lowest cost path search on said composed transducer.
 11. The symbolic correction apparatus of claim 9, wherein said language model uses a grammatical inference algorithm.
 12. The symbolic correction apparatus of claim 11, wherein said grammatical inference algorithm is designed to accept a smallest k-Testable Language in the Strict Sense (k-TS language).
 13. The symbolic correction apparatus of claim 9, wherein said hypothesis model is based on a weighted finite-state transducer that dynamically models the uncertainty of a symbol-input subsystem.
 14. The symbolic correction apparatus of claim 13, wherein said error model complements said hypothesis model by incorporating a static model of the uncertainty of said symbol-input subsystem including a plurality of edit operations.
 15. The symbolic correction apparatus of claim 14, wherein said plurality of edit operations include substitutions, insertions, and deletions.
 16. The symbolic correction apparatus of claim 9, wherein said error model complements said hypothesis model incorporating a static model of the uncertainty of said symbol-input subsystem.
 17. A non-transitory computer-readable storage medium with an executable program stored thereon to implement symbolic correction in human-machine interfaces, wherein said executable program instructs an apparatus to perform the following steps: (a) implementing a language model; (b) implementing a hypothesis model; (c) implementing an error model; and (d) processing a symbolic input message, said processing based on weighted finite-state transducers to encode 1) a set of input hypothesis using said hypothesis model, 2) said language model, and 3) said error model in order to perform correction on said symbolic input message in the human-machine interface employing a probability of transition of the form P(t)=P(LM, EM, HM|t)=P(LM|t)P(EM|t)P(HM|t) with tropical semiring WFSTs (

, ⊕,

, 0 , 1 ).
 18. The non-transitory computer-readable storage medium of claim 17, wherein (a) said processing comprises a combination of said language model, said hypothesis model, and said error model performed without parsing by employing a composition operation between said transducers to generate a composed transducer, as well as a lowest cost path search on said composed transducer; (b) said language model uses a grammatical inference algorithm; (c) said grammatical inference algorithm is designed to accept a smallest k-Testable Language in the Strict Sense (k-TS language); (d) said hypothesis model is based on a weighted finite-state transducer that dynamically models the uncertainty of a symbol-input subsystem; (e) said error model complements said hypothesis model incorporating a static model of the uncertainty of said symbol-input subsystem; (f) said error model complements said hypothesis model by incorporating a static model of the uncertainty of said symbol-input subsystem including a plurality of edit operations; (g) said plurality of edit operations include substitutions, insertions, and deletions; and (h) said method for symbolic correction in human-machine interfaces includes a probability of transition of the form P(t)=P(LM, EM, HM|t)=P(LM|t)P(EM|t)P(HM|t) and employs tropical semiring WFSTs (

, ⊕,

, 0 , 1 ). 